981. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
982. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها,ایمنی سیستم‌ها -- کنگره ها ,م‍ه‍ن‍دس‍ی س‍ی‍س‍ت‍م ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
983. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
984. Formal methods in systems engineering
پدیدآورنده : ed. by Peter Ryan and Chris Sennett.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraische Spezifikation,Mathematische Methode,Systementwicklung
رده :
QA76
.
76
.
D47
E339
1993
985. Formal specification :
پدیدآورنده : Nimal Nissanke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
986. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
987. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
988. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
989. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
991. Forms/Format 201
پدیدآورنده : / Eckehard Schnieder, Gaeza Tarnai, Editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses,Electronic books
رده :
TA1005
.
F67
2011
992. Forms/Format 2010 :
پدیدآورنده : Eckehard Schnieder, Géza Tarnai, Editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Transportation-- Safety measures-- Data processing, Congresses.
رده :
TA1005
.
F67
2011
993. Formwork for concrete structures
پدیدآورنده : Robert L. Peurifoy, Garold D. Oberlender
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Concrete construction, Formwork
رده :
TA
,
682
.
44
,.
P48
,
2011
994. Formwork for concrete structures
پدیدآورنده : Peurifoy, R. L. )Robert Leroy(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Formwork ، Concrete construction
رده :
TA
682
.
44
.
P48
2011
995. Formwork for concrete structures
پدیدآورنده : Peurifoy, Robert Leroy
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Formwork ، Concrete construction
رده :
TA
682
.
44
.
P48
2011
996. Fracture Mechanics Technology Applied to Material Evaluation and Structure Design :
پدیدآورنده : edited by G.C. Sih, N.E. Ryan, R. Jones.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Mechanics.,Structural analysis (Engineering)
رده :
TA409
.
E358
1983
997. Fragrances :
پدیدآورنده : edited by Peter J. Frosch, Jeanne Duus Johansen, Ian R. White.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Allergy.,Dermatology.,Medicine.
رده :
RA1270
.
P37
E358
1998
998. Framework for Life Cycle Assessment of Complete Streets Projects
پدیدآورنده : Harvey, John T.; Kendall, Alissa; Saboori, Arash; Ostovar, Maryam; Butt, Ali A.; Hernandez, Jesus
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
999. Freeway traffic modelling and control /
پدیدآورنده : Antonella Ferrara, Simona Sacone, Silvia Siri.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Express highways-- Mathematical models.,Highway engineering.,Automatic control engineering.,Civil engineering, surveying & building.,Express highways-- Mathematical models.,Highway engineering.,Power generation & distribution.,Regional & area planning.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
HE336
.
E94
1000. French fortresses in North America 1535-1763 :
پدیدآورنده : René Chartrand ; illustrated by Donato Spedaliere.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fortification-- North America-- History.,Fortifications-- Canada-- Histoire.,Fortifications-- Louisiane-- La Nouvelles-Orléans-- Histoire.,Fortification.,French colonies.,France, Colonies, America, History.,France, Colonies, Amérique, Histoire.,La Nouvelle-Orléans (Louis.), Histoire militaire.,Louisbourg (N.-É.), Histoire militaire.,Montréal (Québec), Histoire militaire.,Nouvelle-France, Défense nationale.,Québec (Québec), Histoire militaire.,America.,North America., 0, 6, 6, 6, 6, 6, 6, 7, 7
رده :
UG413
.
C43
2005
